Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
نویسندگان
چکیده
منابع مشابه
A Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملTimed Petri Nets in Modeling and Analysis of Manufacturing Systems
Petri nets are formal models of systems which exhibit concurrent activities. As formal models, Petri nets are bipartite directed graphs, in which the two types of vertices represent, in a very general sense, conditions and events. In order to study performance aspects of systems modeled by Petri nets, the durations of modeled activities must also be taken into account. This can be done in diffe...
متن کاملTimed Petri Net Models of Flexible Manufacturing Cells
It is shown that a class of flexible manufacturing cells can be conveniently modeled and evaluated by timed Petri nets. For simple schedules, the modeling nets are covered by conflict–free invariant subnets, so the performance of the model is determined by the performance of its subnets. For composite schedules, the invariant subnets are free-choice, so a more elaborate approach to evaluating t...
متن کاملModeling Agile Manufacturing Cell using Object-Oriented Timed Petri net
An Object-Oriented Timed Petri-net (OOTPN) is proposed for modeling agile manufacturing cell (AMC). It consists of four phases: (1) grouping manufacturing resources into classes; (2) constructing general OOTPN block for each manufacturing resource class; (3) defining joint transitions and suitable control decision rules; (4) generating complete OOTPN model for agile manufacturing cell. This OOT...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computer Modelling
سال: 1993
ISSN: 0895-7177
DOI: 10.1016/0895-7177(93)90140-t